void servidor(int);